Foundations for Mathematical Structuralism
نویسندگان
چکیده
منابع مشابه
Foundations for Mathematical Structuralism∗
We investigate the form of mathematical structuralism that acknowledges the existence of structures and their distinctive structural elements. This form of structuralism has been subject to criticisms recently, and our view is that the problems raised are resolved by proper, mathematics-free theoretical foundations. Starting with an axiomatic theory of abstract objects, we identify a mathematic...
متن کاملStructuralism, Mathematical
Structuralism is a view about the subject matter of mathematics according to which what matters are structural relationships in abstraction from the intrinsic nature of the related objects. Mathematics is seen as the free exploration of structural possibilities, primarily through creative concept formation, postulation, and deduction. The items making up any particular system exemplifying the s...
متن کاملMathematical Foundations for Asymmetric
1.2 Algorithm for GCD The Euclidean algorithm is a simple algorithm for finding the gcd of two numbers. The basis of the algorithm is the fact that if a = qb+ c, a, q, b, c ∈ Z,⇒ (a, b) = (b, c). (4) This is very easy to see. Let s = (a, b)⇒ s|a, s|b⇒ a = sa1, b = sb1 t = (b, c)⇒ t|b, t|c⇒ b = tb2, c = tc2 Also c = a− qb = s(a1 − qb1)⇒ s|c Also as s|b (as s is the gcd of (a, b), s divides b and...
متن کاملAbstract Algebra, Mathematical Structuralism and Semiotics
Algebra, Mathematical Structuralism and
متن کاملDoes Category Theory Provide a Framework for Mathematical Structuralism?∗
Category theory and topos theory have been seen as providing a structuralist framework for mathematics autonomous vis à vis set theory. It is argued here that these theories require a background logic of relations and substantive assumptions addressing mathematical existence of categories themselves. We propose a synthesis of Bell’s “many-topoi” view and modal-structuralism. Surprisingly, a com...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mind
سال: 2014
ISSN: 0026-4423,1460-2113
DOI: 10.1093/mind/fzu003